((v4 v5 3) (v7 v9 1) (v4 v7 1) (v3 v8 8) (v3 v9 4) (v1 v8 1) (v2 v9 1) (v2 v5 8) (v1 v7 2) (v3 v1 3) (v2 v7 9) (v5 v6 3) (v5 v7 7) (v9 v6 2) (v3 v6 7) (v6 v1 8) (v2 v6 4) (v5 v3 0) (v1 v9 6) (v8 v4 8) (v8 v6 7) (v7 v3 3) (v3 v4 1) (v8 v9 7))
49
((v3 v7) (v9 v4) (v3 v2))